Arithmetic facts solving